# -*- mode: snippet -*-
# name: Unset Functional Induction Rewrite Dependent
# --
Unset Functional Induction Rewrite Dependent
